Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
31	Press Release VDC Research Selects LDRA’s Tool Suite 9.5 for the Embeddy Award Test and Verification Company Awarded With Best of Show at Embedded Systems Conference ’15! Natick, MA (PRWEB) July 28, 2015 VDC Research Add to Reading List Source URL: www.vdcresearch.com Language: English - Date: 2016-02-01 13:56:02 Software testing Software engineering Computing Computer architecture Static program analysis Unit testing ARC Mentor Graphics Embedded system Award Software LDRA Testbed Liverpool Data Research Associates
32	All-Termination(SCP) Panagiotis Manolios and Aaron Turon Northeastern University {pete,turon}@ccs.neu.edu Abstract. We recently introduced the All-Termination(T ) problem: given a termination solver T and a function F , Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:16 Mathematical analysis Mathematics Analysis Functions and mappings Computability theory Static program analysis Termination analysis Big O notation Derivative Bijection Expected value Recursion
33	Hardening Software against Physical Attacks using Static Analysis Advisor(s): Mario Werner Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria Add to Reading List Source URL: www.iaik.tugraz.at Language: English - Date: 2015-09-08 06:00:03 Software Programming language implementation Software testing Program analysis Quality assurance Software review Static program analysis Static Clang Institute for Applied Information Processing and Communications
34	Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-20 18:21:25 Computing Software engineering Theoretical computer science Formal methods Logic in computer science Java Modeling Language Java platform Static program analysis ESC/Java Hoare logic Assertion Modeling language
35	Better termination proving through cooperation Marc Brockschmidt1 , Byron Cook2,3 , and Carsten Fuhs3 1 2 Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2013-04-13 17:39:03 Graph theory Static program analysis Termination analysis Cograph IP KeY Graph coloring
36	technology corner professional training calendar highlights / November 2015–February 2016 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2016-03-14 13:19:59 Ada SPARK CodePeer GNAT A Sharp Avionics software Computer programming Static program analysis Design by contract Subroutine CrazyFlie Embedded system
37	Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information Nurlida Basir1 , Ewen Denney2 , and Bernd Fischer1 1 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Static program analysis Theoretical computer science Safety Computer security Safety case KeY Hoare logic Formal verification Proof-carrying code Hazard analysis Loop invariant
38	Microsoft PowerPoint - DenimGroup_StaticAnalysisTechniquesForTestingApplicationSecurity_OWASPColorado.pptx Add to Reading List Source URL: denimgroup.com Language: English - Date: 2014-01-13 18:18:50 Static program analysis Program analysis Quality assurance Software review Software testing Static FindBugs Software FxCop
39	Microsoft Word - f1488_1.doc Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software testing Formal methods Logic in computer science Theoretical computer science Program analysis Software verification Formal verification Static program analysis Model checking Requirement Device driver synthesis and verification Runtime verification
40	QJ Pro QJ Pro is a sophisticated code quality assessment and coding standards technology for Java development detecting potential software during development time. It significantly reducse code review effort by automatin Add to Reading List Source URL: qjpro.sourceforge.net Language: English - Date: 2005-03-22 15:58:19 Source code Coding conventions Software quality Static program analysis JBuilder JDeveloper Naming convention Quality Code review Software development process Solaris Go